Higher-order logic - PDFSEARCH.IO - Document Search Engine

Higher-order logic
Results: 178

#	Item
101	A On Contract Satisfaction in a Higher-Order World CHRISTOS DIMOULAS and MATTHIAS FELLEISEN, Northeastern University, Boston, MA Behavioral software contracts have become a popular mechanism for specifying and ensuring l Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Models of computation Logic in computer science Programming language semantics Racket Denotational semantics Eiffel Matthias Felleisen Design by contract Lambda calculus Software engineering Computing Computer programming
102	Declarative program development in Prolog with GUPU Ulrich Neumerkel and Stefan Kral Institut f¨ ur Computersprachen Technische Universit¨ Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-07-22 17:21:33 Prolog Functional languages Procedural programming languages Higher-order functions Recursion Assertion Logic programming XS ML Software engineering Computer programming Computing
103	Part III Functions as Data By now you’re accustomed to the idea of expressing a computational process in terms of the function whose value you want to compute, rather than in terms of a sequence of actions. But you pro Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:14 Subroutines Functions and mappings Functional programming Function Mathematical logic Sentence Parameter Higher-order function Algorithm Software engineering Computer programming Computing
104	A SRL challenge: extracting proof strategies from exemplar proofs Gudmund Grov, Ekaterina Komendantskaya & Alan Bundy Interactive Theorem Provers • ...are based on higher-order languages/type theory; • ...provide a r Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Proof theory Mathematical logic Formal sciences Proof assistant Mathematical proof Theorem Proof KeY Logic Mathematics Theoretical computer science
105	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
106	Call Arity Joachim Breitner Karlsruhe Institute of Technology [removed] Abstract Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Higher-order functions Universal algebra Recursion Lambda calculus Computability theory Fold Combinatory logic Map Arity Mathematics Mathematical logic Theoretical computer science
107	ProofPower DESCRIPTION PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:49 Logic in computer science HOL Logic for Computable Functions Lexical analysis Michael J. C. Gordon ML Inform D Higher-order logic Software engineering Computing Computer programming
108	ProofPower Z REFERENCE MANUAL PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:52 Science HOL Theory Higher-order logic Lemmas Logic in computer science Mathematics Theoretical computer science
109	ProofPower HOL Tutorial Notes PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:50 Formal methods Logic in computer science Theoretical computer science HOL Higher-order logic Lambda calculus D Tutorial First-order logic Logic Mathematics Mathematical logic
110	ProofPower HOL REFERENCE MANUAL PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:51 Logic Mathematical logic Model theory HOL Higher-order logic Theory Logic for Computable Functions Logic in computer science Theoretical computer science Concepts

UPDATE